- порядковый тип
-
порядковый тип
перечислимый тип
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
- информационные технологии в целом
Синонимы
- перечислимый тип
EN
- ordinal type
Справочник технического переводчика. – Интент. 2009-2013.
Смотреть что такое "порядковый тип" в других словарях:
ПОРЯДКОВЫЙ ТИП — линейно упорядоченного множества А свойство множества А, к рое присуще любому линейно упорядоченному множеству В, подобному А. При этом два множества Аи В, линейно упорядоченные соотношениями R и S, наз. подобными, если существует функция f,… … Математическая энциклопедия
Намбу Тип 94 — У этого термина существуют и другие значения, см. Намбу. У этого термина существуют и другие значения, см. Тип 94 (значения). Намбу Тип 94 … Википедия
ТРАНСФИНИТНОЕ ЧИСЛО — порядковый тип бесконечного вполне упорядоченного множества. См. также Порядковое число, Кардинальное число … Математическая энциклопедия
Приведение типа — (type conversion) преобразование значения переменной одного типа в значение другого типа. Выделяют явное и неявное приведения типов. При явном приведении указывается тип переменной, к которому необходимо преобразовать исходную переменную. При… … Википедия
Упорядоченные и частично упорядоченные множества — (математичексие) множества, в которых каким либо способом установлен порядок следования их элементов или, соответственно, частичный порядок. Понятия порядка и частичного порядка следования элементов определяются следующим образом. Говорят … Большая советская энциклопедия
Множеств теория — учение об общих свойствах множеств, преимущественно бесконечных. Понятие множества, или совокупности, принадлежит к числу простейших математических понятий; оно не определяется, но может быть пояснено при помощи примеров. Так, можно… … Большая советская энциклопедия
Трансфинитные числа — (от Транс… и лат. finitus ограниченный) обобщённые порядковые числа. Определение Т. ч. опирается на понятие вполне упорядоченного множества (см. Упорядоченные и частично упорядоченные множества). Каждое конечное множество можно сделать… … Большая советская энциклопедия
АЛЕФЫ — первая буква древнееврейского алфавита, символы, введенные Г. Кантором (G. Cantor) для обозначения кардинальных чисел (мощностей) бесконечных вполне упорядоченных множеств. Каждое кардинальное число есть нек рый А. (следствие выбора аксиомы). Но… … Математическая энциклопедия
АНТИНОМИЯ — парадокc, ситуация, когда в теории доказываются два взаимно исключающие друг друга суждения, причем каждое из этих суждений выведено убедительными с точки зрения данной теории средствами. В отличие от софизма, умышленно ложного умозаключения с… … Математическая энциклопедия
ПОРЯДКОВОЕ ЧИСЛО — трансфинитное число, ординальное число, ординал, порядковый тип вполне упорядоченного множества. Понятие П. ч. ввел Г. Кантор (G. Cantor, 1883, см. [2]). Напр., П. ч. множества натуральных чисел, упорядоченного отношением , есть w. П. ч.… … Математическая энциклопедия